$r$ {-} $s$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$r$ + (({-}1) $\ast$ $s$)